#ifndef __SOLVER_H__
#define __SOLVER_H__
#include"cnf.h"
typedef struct _solver{
    _bool (*SATISFIABLE)();
    cnf* (*get_cnf)();
}solver;
#endif